Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
91	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
92	Logic and Automata, Assignmentmarks) Construct B¨ uchi automata accepting ω-words satisfying the following LTL formulae: (a) G F X a Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-21 13:28:41 Theoretical computer science Tree automaton Computer science Automata theory Temporal logic Linear temporal logic
93	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science
94	TANGENTIAL DERIVATIVES PROVIDING A MEAN-VALUE FORMULA LAURENT MOONENS Abstract. We provide a simple example showing that the tangential derivative of a continuous function φ can vanish everywhere along a Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2014-02-09 15:33:57 Theoretical physics Spectral theory Mathematical logic Spectral theory of ordinary differential equations Linear temporal logic Mathematics Operator theory Mathematical analysis
95	Chapter 5 Insights from ecological theory on temporal dynamics and species distribution modeling Add to Reading List Source URL: dbs.umt.edu Language: English - Date: 2012-10-16 16:34:01 Biology Science Ecology Landscape ecology Metapopulation Population ecology Theoretical ecology Regression analysis Species distribution Statistics Population Demography
96	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
97	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
98	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2015-05-24 00:13:48 Distribution Functional analysis Dirac delta function Euler equations Siméon Denis Poisson Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis
99	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
100	Tales of Shape and Radiance in Multi-view Stereo Stefano Soatto† Anthony J. Yezzi‡ Hailin Jin†∗ Add to Reading List Source URL: vision.ucla.edu Language: English - Date: 2007-09-06 19:43:30 Harmonic analysis Representation theory of finite groups Linear temporal logic Heat transfer Calculus of variations Radiance

UPDATE